Holländische Mühle (Berlin) sold price