Der Mühlenelf - ein musikalisches Märchen