The town hall of Marburg, Germany