FRIEDRICHSRUH den 3 maj.