öfverflyltades liket till Tegernsee.