Peter Boch, the visionary German mayor who is making Pforzheim greener