wenn bike die abkürzung für bicycle ist, wieso heißt mike dann eigentlich michael?