“ Smeden och Muraren * * , uppförd å Hofteatern i Berlin.