Denna kejserliga » Hofvragenburg » ,manegerna