^^
//
  Josef Ernst 1935-2007