Bingo! Das 17er ist also ein 18er. Das hatte mich am meisten irritiert.