Gewerberaum im Zentrum von Derendingen