" I politiska kretsar ( i Berlin ) har den13