« Anton Kraus wurde 31 Jahre alt. »