A moment of German humor