Ingen kabinettskris i Berlin.