högtidligen af kejserliga ståthållaren i Prag.