Fire Station in Eindhoven,