pre-war Germany.