Garmisch, West Germany