Gasthaus Gasthaus "Diebels im Hafen"