"hot-riveted" Deutsche bedeutung