Berlins politiska kretsar är man—