all det i de kejserligas lederfunnos