The Wilhelm-bush-Muehle or Max-und-Moritz-Muehle, formerly known as the ...