ravelinen mottog kommendanten den preussiske officeren.