(German) Havel, Václav (1936-2011)