Om den tyske inrikesministern von Kollers demission föreligger ännu icke något officielt meddelande.