Ruhe in Frieden, Alfred Körner!