Ist die Knappschaft eine Ersatzkasse?