“Dienstgebouw” heet voortaan Martinushof