Der sogenannte Mauersee. #berlin