are Boulevard Solitude and Moses und Aron both German librettos?