“ Darmstadt Gazette " halfofflcielt,