diminished for germany