Gerd Krauss
  Production Designer, Set Decorator, Art Director
  Born May 28, 1941 in Frankfurt am Main, Germany
  Died June 30, 2012